The branch of engineering science that studies (with the aid of computers) computable processes and structures